$\forall$$w$:World. FairFifo $\Rightarrow$ ($\forall$$e$:E, $x$:Id. state\_after($e$).$x$ = ($x$ after $e$) $\in$ $\mathbb{Q}\rightarrow$vartype(loc($e$);$x$))